Εισάγετε μια λέξη ή φράση σε οποιαδήποτε γλώσσα 👆
Γλώσσα:
Μετάφραση και ανάλυση λέξεων από την τεχνητή νοημοσύνη ChatGPT
Σε αυτήν τη σελίδα μπορείτε να λάβετε μια λεπτομερή ανάλυση μιας λέξης ή μιας φράσης, η οποία δημιουργήθηκε χρησιμοποιώντας το ChatGPT, την καλύτερη τεχνολογία τεχνητής νοημοσύνης μέχρι σήμερα:
- πώς χρησιμοποιείται η λέξη
- συχνότητα χρήσης
- χρησιμοποιείται πιο συχνά στον προφορικό ή γραπτό λόγο
- επιλογές μετάφρασης λέξεων
- παραδείγματα χρήσης (πολλές φράσεις με μετάφραση)
- ετυμολογία
Τι (ποιος) είναι de Bruijn notation - ορισμός
ALTERNATIVE POSTFIX NOTATION FOR LAMBDA CALCULUS
De bruijn notation
De Bruijn notation
<language> A variation of lambda notation for specifying
functions using numbers instead of names to refer to {formal
parameters}. A reference to a formal parameter is a number
which gives the number of lambdas (written as here) between
the reference and the lambda which binds the parameter.
E.g. the function f . x . f x would be written . . 1
0. The 0 refers to the innermost lambda, the 1 to the next
etc. The chief advantage of this notation is that it avoids
the possibility of name capture and removes the need for {alpha
conversion}.
[N.G. De Bruijn, "Lambda Calculus Notation with Nameless
Dummies: A Tool for Automatic Formula Manipulation, with
Application to the Church-Rosser Theorem", Indag Math. 34, pp
381-392 ].
(2003-06-15)
De Bruijn notation
In mathematical logic, the De Bruijn notation is a syntax for terms in the λ calculus invented by the Dutch mathematician Nicolaas Govert de Bruijn. It can be seen as a reversal of the usual syntax for the λ calculus where the argument in an application is placed next to its corresponding binder in the function instead of after the latter's body.
Hans de Bruijn
DUTCH POLITICAL SCIENTIST AND PROFESSOR OF PUBLIC ADMINISTRATION AT DELFT UNIVERSITY OF TECHNOLOGY, KNOWN BY HIS WORK IN THE FIELD OF PROCESS MANAGEMENT
Johan Adam de Bruijn; De Bruijn, Hans; Bruijn, Johan Adam
Johan Adam (Hans) de Bruijn (born 1 September 1962) is a Dutch political scientist and Professor of Public Administration at Delft University of Technology, known by his work in the field of process management.Peter Hupe (2007).
Βικιπαίδεια
De Bruijn notation
In mathematical logic, the De Bruijn notation is a syntax for terms in the λ calculus invented by the Dutch mathematician Nicolaas Govert de Bruijn. It can be seen as a reversal of the usual syntax for the λ calculus where the argument in an application is placed next to its corresponding binder in the function instead of after the latter's body.
